Data types, abstract data types and their specification problem

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Graphic Specification of Abstract Data Types

Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented gra...

متن کامل

Distributed Abstract Data Types

Abstract. In this paper we introduce the concept of Distributed Abstract Data Type (DADT), a new programming model simplifying the development of distributed, context-aware applications. A DADT instance logically encapsulates a collection of ADT instances distributed throughout the system. DADT operations specify the semantics of access to this distributed state by using dedicated programming c...

متن کامل

Abstract Constraint Data Types

Constraint Data Types José Luiz Fiadeiro and Fernando Orejas Dep. of Computer Science, Royal Holloway University of London, Egham TW20 0EX, UK [email protected] 2 Dep. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, 08034 Barcelona, Spain [email protected] Abstract. Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e....

متن کامل

Abstract Data Types without the Types

Data Types without the Types Philip Wadler (Edinburgh University, Scotland [email protected]) Dedicated to David Turner on the occasion of his 70’th birthday Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 1979

ISSN: 0304-3975

DOI: 10.1016/0304-3975(79)90059-8